#include <master.h>
#include <sched.h>
#include <syscall.h>

// syscall.c - system calls.

const char * syscall_trampoline = NULL;

void syscall_init() {
  switch (syscall_method) {

   case 0:
   case 1:
   case 2:
           break;

   default: panic("should not be here");
  
  }

}



